Myrmica schenki var. spatulata